منطق چیست؟ پژوهشی تاریخی در ظهور و افول منطق

امروز 28 آپریل مصادف با تولد منطقدان، فیلسوف و ریاضیدان اتریشی، کرت گودل است. آنچه در زیر میآید مروری است سطحی بر زندگی و کارهای او. کرت گودل در 28 آپریل سال 1906 در شهر برنو (واقع در چک امروزی) متولد شد. پدر او ردولف گودل مسیحی کاتولیک و مادرش پروتستانی بود.گودل نیمی از عمرش را در اروپای مرکزی و نیمی را در امریکا گذراند. او وقتی تنها 25 سال داشت کار های منطق چیست؟ پژوهشی تاریخی در ظهور و افول منطق...

قصد دارم طی پست هایی یادداشت هایی که حین مطالعه نظریه مجموعه ها برداشتم رو منتشر کنم-این پست ها بیشتر جنبه تاریخی دارند و نه فنی. در زیر اصول سیستم زرملو فرانکل ZF را معرفی میکنیم ،یا بهتر است بگوییم زرملو-فرانکل-اسکولم. چرا که توسط زرملو معرفی و توسط فرانکل و اسکولم اصلاح شد. ZF1:( اصل گسترش- Axiom of extension): اگر a ,b مجموعه باشند و برای هر x∈a داشته منطق چیست؟ پژوهشی تاریخی در ظهور و افول منطق...